تعداد ۳۲ پاسخ غیر تکراری از ۳۲ پاسخ تکراری در مدت زمان ۴,۳۱ ثانیه یافت شد.

1.

کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)

2. Automated technology for verification and analysis :

پدیدآورنده : Shuvendu K. Lahiri, Chao Wang (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.

رده :

QA76

.

9

.

A96

3. Cybernetics and systems '86 :

پدیدآورنده : organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.

رده :

Q300

.

O743

1986

4. ESEC '89 :

پدیدآورنده : C. Ghezzi, J.A. McDermid (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Software engineering-- Congresses.

رده :

QA76

.

758

.

E97

1989

5. Engineering trustworthy software systems :

پدیدآورنده : Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.

رده :

QA76

.

758

6. Engineering trustworthy software systems :

پدیدآورنده : Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer security.,Computer software.,Software engineering.

رده :

QA76

.

758

7. FM 2012

پدیدآورنده : Dimitra Giannakopoulou, Dominique Méry (eds.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses

رده :

QA76

.

76

.

D47

I593

2012eb

8. Formal aspects of component software :

پدیدآورنده : Kyungmin Bae, Peter Csaba Ölveczky (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.

رده :

QA76

.

9

.

F67

9. Formal methods :

پدیدآورنده : Tiago Massoni, Mohammad Reza Mousavi (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.

رده :

QA76

.

9

.

F67

10. Formal methods and software development

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Computer software-- Development-- Congresses

رده :

QA

76

.

76

.

D47

.

I57

1985

vol

.

2

11. Formal methods and software engineering :

پدیدآورنده : Shengchao Qin, Zongyan Qiu (edition)

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Formal methods (Computer science), Congresses,Software engineering, Congresses,Formal methods (Computer science)-- Congresses,Software engineering-- Congresses

رده :

QA76

.

9

.

F67

I34

2011

12. Formal methods and software engineering :

پدیدآورنده : Jing Sun, Meng Sun (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.

رده :

QA76

.

9

.

F67

13. Formal methods for industrial critical systems :

پدیدآورنده : Falk Howar, Jiří Barnat (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.

رده :

QA76

.

9

.

F67

I58

2018eb

14. Formal methods for industrial critical systems :

پدیدآورنده : Gwen Salaün, Bernhard Schätz (editions.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programs-- Reliability, Congresses,Computer programs-- Verification, Congresses,Computer software-- Reliability, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses

رده :

QA76

.

9

.

F67

I58

2011

15. Formal methods for multicore programming

پدیدآورنده : \ Marco Bernardo , Einar Broch Johnsen (Eds.)

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer software -- Development -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering.,نرم‌افزار -- تولید -- کنگره ها ,روش‌های صوری (کامپیوتر) -- کنگره ها

رده :

QA

76

.

76

.

F6

2015

E-Book

,

16. Formal methods for software architectures :

پدیدآورنده : Marco Bernardo, Paola Inverardi (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.

17. Formal methods for software architectures :

پدیدآورنده : Marco Bernardo, Paola Inverardi (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.

رده :

QA76

.

9

.

F67

M373

2003

18. Formal methods: foundations and applications

پدیدآورنده : Jim Davies, Leila Silva, Adenilso Simao (eds.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Formal methods (Computer science), Congresses

رده :

QA76

.

9

.

F67

B73

2011

19. Formal modeling and analysis of timed systems :

پدیدآورنده : David N. Jansen, Pavithra Prabhakar (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.

رده :

QA76

.

9

.

F67

20. Formal techniques for networked and distributed systems

پدیدآورنده : / Edited by Myungchul Kim ... [et al.]

کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)

موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses

رده :

EB

,

QA76

.

9

F67I579

2001

»
2
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها